Search results for "Commonsense Reasoning"
showing 10 items of 19 documents
The Linguistic Continua
2022
There is no doubt that there are inferential chains that break, and sometimes break suddenly. For instance, provided p and q are synonyms, that is, their respective meanings are contextually indistinguishable under the definition.
A Formal Skeleton of Commonsense Reasoning
2022
After referring several times to Commonsense or Ordinary Reasoning, let’s devote a few pages to present a (minimal) mathematical model of it that can be seen as the ‘Skeleton’ of Reasoning, since it is defined by a set of few, simple laws appearing in the models of particular and specialized modes of reasoning like, for instance: Boolean Algebras for the reasoning with precise concepts; Orto-modular lattices for the reasoning with the concepts of Quantum Physics; and also in the so called Algebras of Fuzzy Sets for the reasoning with imprecise concepts, and among them De Morgan-Kleene algebras. All these models have interesting applications.
A framework for sign language sentence recognition by common sense context
2007
This correspondence proposes a complete framework for sign language recognition that integrates a commonsense engine in order to deal with sentence recognition. The proposed system is based on a multilevel architecture that allows modeling and managing of the knowledge of the recognition process in a simple and robust way. The final abstraction level of this architecture introduces the semantic context and the analysis of the correctness of a sentence given in a sequence of recognized signs. Experimentations are presented using a set of signs from the Italian sign language (LIS) for domotic applications. The implemented system maintains a high recognition rate when the set of signs grows, c…
Functional fixedness and functional reduction as common sense reasonings in chemical equilibrium and in geometry and polarity of molecules
2000
Many of the learning difficulties in the specific domain of chemistry are found not only in the ideas already possessed by students but in the strategic and procedural knowledge that is characteristic of everyday thinking. These defects in procedural knowledge have been described as functional fixedness and functional reduction. This article assesses the procedural difficulties of students (grade 12 and first and third year of university) based on common sense reasoning in two areas of chemistry: chemical equilibrium and geometry and polarity of molecules. In the first area, the theme of external factors affecting equilibria (temperature and concentration change) was selected because the ex…
A Multimodal Guide for the Augmented Campus
2007
The use of Personal Digital Assistants (PDAs) with ad-hoc built-in information retrieval and auto-localization functionalities can help people navigating an environment in a more natural manner compared to traditional audio/visual pre-recorded guides. In this work we propose and discuss a user-friendly, multi-modal guide system for pervasive context-aware service provision within augmented environments. The proposed system is adaptable to the user needs of mobility within a given environment; it is usable on different mobile devices and in particular on PDAs, which are used as advanced adaptive HEI (human-environment interaction) interfaces. An information retrieval service is provided that…
Logic and Computational Aspects of Computing with Speculations
2020
A novel, alternative approach to the fundamental logic of common- sense reasoning extending the concepts put forward by Lotfi A. Zadeh’s Computing with Words has been recently advanced by Enric Trillas, based on the idea that in order to allow for creativity in automated reasoning, the standard operations of inducing and abducing must be complemented by guessing, or speculating. In this paper, after a recall of Trillas’ skeleton formal model, a reflection is made on the computational aspects of such approach. As computational complexity of such approach generally increases exponentially, hints are given on how to tackle such growth and render more manageable the mechanisation of commonsense…
A Multimodal Interaction Guide for Pervasive Services Access
2007
A pervasive, multimodal virtual guide for a cultural heritage site tour is illustrated. The guide is based on the integration of different technologies such as conversational agents, commonsense reasoning knowledge bases, multimodal interfaces and self-location detection systems. The aim of the work is to offer a more natural, context sensitive access to information with respect to traditional audio/visual pre-recorded guides. A prototype has been developed and implemented on a Qtek 9090 with Windows Mobile 2003 in order to deal with the "Museo Archeologico Regionale di Agrigento" domain.
The Problem of Monotonicity and the Skeleton
2022
The premise p of a reasoning is usually a complex statement reflecting the information of departure and consisting in the conjunction of other statements, p = p1 · (p2 · (…(pn). Such p can be written without parenthesis provided conjunction is associative, and then with the possibility of placing the sub-indexes in any ordering if it is commutative; on the contrary neither parenthesis, nor ordering can be avoided.
Common Reasoning in a Computational Context
2022
In the field of Computation Science, ‘Commonsense Reasoning’ usually expresses the formalization of Logic systems in order to efficiently automate replication of human performances. This is done by employing methodologies from Computational Learning, and deals with the construction of information of both deductive and inductive nature. The process often happens in an ecologic, natural context (i.e., in the real world, not in an artificial laboratory setting), and in presence of incomplete and imprecise information.
Quasi-transitivity
2022
Seeing ordinary reasoning in the setting of the Poincaré continua by means of T-Indistinguishability Operators, opens a window towards the possibility of considering alternative types of transitivity. Let us concentrate on the so called quasi-transitive law.